L’essai littéraire, devant le temps

devant le jury composé de

This paper addresses the problem of image-based surface reconstruction. The main contribution is the computation of the exact derivative of the reprojection error functional. This allows its rigorous minimization via gradient descent surface evolution. The main difficulty has been to correctly take into account the visibility changes that occur when the surface moves. A geometric and analytical...

devant le jury composé de:

devant le jury composé de

To my parents and siblings. Acknowledgments The past three years as a PhD student have been interesting, exciting and enjoyable. For that, I thank my adviser Dale Miller very much. He provided me with wise scientific advice, and has always been available for interesting discussions. It has been a good fortune and a pleasure to work with Dale. I learned a lot from him and I hope that that our co...

Devant le jury composé de:

· M. Y. Brenier Directeur de Recherches CNRS, Université de Nice-Sophia-Antipolis · M. G. Buttazzo Professeur Università di Pisa · M. G. Carlier Professeur Université Paris-Dauphine · M. J.-A. Carrillo Profesor Investigador ICREA, Universitat Autònoma de Barcelona · M. I. Ekeland Professeur U. Paris-Dauphine et U. of British Columbia · M. P.-L. Lions Professeur Collège de France · M. J.-M. More...

Au temps en emporte le C

Le (bon) séquencement des événements au fil du temps est un sujet important pour l’analyse de programmes, par exemple dans le cadre de protocoles d’échange d’information ou de systèmes embarqués. De nombreux travaux s’appuient sur la logique temporelle linéaire (LTL) pour décrire formellement le comportement attendu d’un programme, sous la forme d’une succession d’actions distinctes. Implanté a...